Exploiting Parallelism in Coalgebraic Logic Programming
نویسندگان
چکیده
منابع مشابه
Exploiting Parallelism in Coalgebraic Logic Programming
We present a parallel implementation of Coalgebraic Logic Programming (CoALP) in the programming language Go. CoALP was initially introduced to reflect coalgebraic semantics of logic programming, with coalgebraic derivation algorithm featuring both corecursion and parallelism. Here, we discuss how the coalgebraic semantics influenced our parallel implementation of logic programming.
متن کاملExploiting path parallelism in logic programming
This paper presents a novel parallel implementation of Prolog. The system is based on Multipath 12], a novel execution model for Prolog that implements a partial breadth-rst search of the SLD-tree. The paper focusses on the type of parallelism inherent to the execution model, which is called path par-allelism. This is a particular case of data parallelism that can be eeciently exploited in a SP...
متن کاملCoalgebraic Derivations in Logic Programming
Coalgebra may be used to provide semantics for SLD-derivations, both finite and infinite. We first give such semantics to classical SLD-derivations, proving results such as adequacy, soundness and completeness. Then, based upon coalgebraic semantics, we propose a new sound and complete algorithm for parallel derivations. We analyse this new algorithm in terms of the Theory of Observables, and w...
متن کاملParallelism in Logic Programming
This text summarises the main research work being carried out on the implementation of parallel logic programming systems. It concentrates on describing techniques for exploiting and-parallelism and or-parallelism while showing important aspects of some systems on shared-memory, distributed-memory and distributed-shared memory architectures. It also presents some important pointers to journals,...
متن کاملParallelism in Logic Programming
This paper discusses two aspects of parallelism in logic programming: parallelism as a computational formalism (often referred to as concurrency) and the implications of parallelism with regard to performance. Two alternatives for a parallel logic programming system are compared in detail. One allows programmers to describe processes and communication using concurrent logic languages, and the o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2014
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2014.02.007